  <html>
<body>
报告导致副作用的 <code>assert</code> 语句。
<p>
  由于断言可能关闭，无法保证这些副作用，这可能导致难以捉摸的错误。 此检查检测到的不受欢迎的常见副作用是变量和字段修改。 涉及到方法调用时，将对它们进行一级深入分析。</p>
<p><b>示例：</b></p>
<pre><code>
  assert i++ &lt; 10;
</code></pre>
</body>
</html>
